$\forall$${\it from}$, ${\it to}$:Id, ${\it num}$:$\mathbb{N}$. cmseq(${\it from}$;${\it to}$;${\it num}$) $\in$ chain\_master()